workspacesView: Queue relayout when overview adjustment value change

The overview adjustment quite significantly impacts the layout of
SecondaryMonitorDisplay(), and this needs to be accounted for by queueing
a relayout.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1845>

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 6aa8b2615bce57223d64d014c5e0e4cf7209e2c9..1d03e31319650e2e3925c10d4498bb965c82f027 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -627,7 +627,10 @@ class SecondaryMonitorDisplay extends St.Widget {
             () => this._updateThumbnailVisibility());
 
         this._stateChangedId = this._overviewAdjustment.connect('notify::value',
-            () => this._updateThumbnailParams());
+            () => {
+                this._updateThumbnailParams();
+                this.queue_relayout();
+            });
 
         this._settings = new Gio.Settings({ schema_id: MUTTER_SCHEMA });
         this._settings.connect('changed::workspaces-only-on-primary',